41. Mac OS X Tiger :
پدیدآورنده : Rafael Kobylinski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
76
.
O63
R343
2006
42. NASA Formal Methods :
پدیدآورنده : edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
F67
E358
2013
43. Network and parallel computing :
پدیدآورنده : Erik Altman, Weisong Shi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network architectures, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2011
44. New trends in information and communications technology applications :
پدیدآورنده : Safaa O. Al-mamory, Jwan K. Alwan, Ali D. Hussein (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer networks, Congresses.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Data Mining and Knowledge Discovery.,Image Processing and Computer Vision.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer networks.,Computers-- Computer Graphics.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Image processing.,Software Engineering.
رده :
TK5105
.
5
45. Object-Based Models and Languages for Concurrent Systems :
پدیدآورنده : edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
64
E358
1995
46. Object Technologies for Advanced Software :
پدیدآورنده : edited by Shojiro Nishio, Akinori Yonezawa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
64
E358
1993
47. Operating Systems Engineering:
پدیدآورنده : M Maekawa
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers)
48. PRODIA und PRODAT :
پدیدآورنده : herausgegeben von Detlef Krömker, Hartwig Steusloff, Hans-Peter Subel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
Q4
H473
1989
49. Performance Evaluation of Computer and Communication Systems :
پدیدآورنده : edited by Lorenzo Donatiello, Randolph Nelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer system performance.,Operating systems (Computers)
رده :
TK5105
.
5
E358
1993
50. Planetary spacecraft navigation /
پدیدآورنده : James Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Astronautics.,Navigation (Astronautics),Space vehicles-- Control systems.,Aerospace Technology and Astronautics.,Mathematical Applications in Computer Science.,Software Engineering/Programming and Operating Systems.,Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics).,Aerospace & aviation technology.,Astronautics.,Astronautics.,Computers-- Software Development & Engineering-- General.,Mathematics-- Applied.,Navigation (Astronautics),Science-- Astrophysics & Space Science.,Space vehicles-- Control systems.,Technology & Engineering-- Aeronautics & Astronautics.
رده :
TL1065
.
M55
2019
51. Provable security :
پدیدآورنده : Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
52. Quality of protection :
پدیدآورنده : edited by Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Quality control, Congresses.,Computer networks-- Standards, Congresses.,Computer security-- Quality control, Congresses.,Computer security-- Standards, Congresses.,Computer networks-- Quality control.,Computer networks-- Quality control.,Computer networks-- Standards.,Computer networks-- Standards.,Computer security-- Quality control.,Computer security-- Standards.,Computer security-- Standards.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,Informatique.
رده :
QA76
.
9
.
A25
Q35
2006eb
53. Quantitative Evaluation of Computing and Communication Systems :
پدیدآورنده : edited by Heinz Beilner, Falko Bause.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Information theory.,Operating systems (Computers)
رده :
QA76
.
9
.
E94
E358
1995
54. Red hat enterprise Linux 5 administration unleashed /
پدیدآورنده : by Tammy Fox.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Linux.,Linux (Computer software),Linux.,Linux.,Operating systems (Computers),Computer operating systems.,Computer Science.,Engineering & Applied Sciences.,Operating systems (Computers),Operating systems (Computers)
رده :
QA76
.
76
.
O63
F69
2007
55. Security and Dependability for Ambient Intelligence
پدیدآورنده : edited by Spyros Kokolakis, Antonio Maña Gómez, George Spanoudakis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network architectures.,Computer networks.,Computer science.,Data protection.,Information storage and retrieval systems.,Operating systems (Computers),Software engineering.
56. Security and Persistence :
پدیدآورنده : edited by John Rosenberg, J. Leslie Keedy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
57. Sensor systems and software :
پدیدآورنده : Gerard Par, Philip Morrow (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Context-aware computing, Congresses.,Detectors, Congresses.,Wireless sensor networks, Congresses.
رده :
TK7872
.
D48
I58
2011
58. Service-oriented computing :
پدیدآورنده : Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software.,Computer networks.,Database management.,Operating systems (Computers),Service-oriented architecture (Computer science), Congresses.,Software engineering.,Application software.,Computer networks.,Database management.,Operating systems (Computers),Software engineering.
رده :
TK5105
.
5828
59. Softwaretechnik :
پدیدآورنده : von Manfred Nagl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
